BAN Logic Analysis of the UK Rolling Registration and Postal Voting Systems
نویسنده
چکیده
Concerns are often raised as to the safety of remote voting systems (and indeed polling station voting systems) when conducted using electronic equipment. Here, a formal analysis is conducted of the UK postal ballot system in order to demonstrate that some of the concerns regarding remote electronic voting are as applicable to remote paper based system.
منابع مشابه
Why Even the Logic of Re-Defined Choice May Still Contradict the Logic of Care in Public Health Systems?
متن کامل
The Case for Networked Remote Voting Precincts
Voting in national elections from the comfort of one’s home computer may never be practical or secure, but we argue that remote network voting can be both practical and secure. Provisional and postal absentee ballots, which trade some amount of anonymity for the ability to determine the eligibility of a distant voter, serve as a template for how electronic remote voting might proceed. We propos...
متن کاملVoting Algorithm Based on Adaptive Neuro Fuzzy Inference System for Fault Tolerant Systems
some applications are critical and must designed Fault Tolerant System. Usually Voting Algorithm is one of the principle elements of a Fault Tolerant System. Two kinds of voting algorithm are used in most applications, they are majority voting algorithm and weighted average algorithm these algorithms have some problems. Majority confronts with the problem of threshold limits and voter of weight...
متن کاملWho Is Enfranchised by Remote Voting?
The UK government’s experiments withr remote voting (by post, Internet, telephone and SMS) have focused on increasing turnout at elections. The data so far however show that those already most likely to vote, and those with an incentive to commit electoral fraud, have received the greatest benefit. This has not provided a solid base for the public trust necessary to “e-enable” elections, and ha...
متن کامل